Operational Techniques in PVS — A Preliminary Evaluation
نویسندگان
چکیده
منابع مشابه
Operational Techniques in PVS - A Preliminary Evaluation
In this paper we present a preliminary analysis of the suitability of using PVS as a tool for developing operational semantics and programming logics in a semi-automatic fashion. To this end we present a formalized proof of the Church–Rosser theorem for a version of the call-by-value lambda calculus in the spirit of Landin’s ISWIM. The proof is developed in the PVS system, and is used as a test...
متن کاملA Preliminary Evaluation of 3D Mesh Animation Coding Techniques
This paper provides an overview of the state-of-the-art techniques recently developed within the emerging field of dynamic mesh compression. Static encoders, wavelet-based schemes, PCA-based approaches, differential temporal and spatio-temporal predictive techniques, and clustering-based representations are considered, presented, analyzed, and objectively compared in terms of compression effici...
متن کاملAdvanced Theorem Proving Techniques in PVS and Applications
The Prototype Verification System (PVS) is an interactive verification environment that combines a strongly typed specification language with a classical higher-order logic theorem prover. The PVS type system supports: predicate subtypes, dependent types, abstract data types, compound types such as records, unions, and tuples, and basic types such as numbers, Boolean values, and strings. The PV...
متن کاملTelemedicine in the Himalayas: Operational Challenges-A Preliminary Report.
INTRODUCTION Nonavailability of quality healthcare in mountainous, isolated, inaccessible sparsely populated regions is a universal problem. In this project, remote virtual healthcare was provided at Keylong and Kaza in Himachal Pradesh (HP) in North India. This innovative public-private partnership (PPP) provides 24/7 affordable healthcare to an alpine community where people commute 20-50 km f...
متن کاملTechniques for Operational Data Warehousing
Traditionally, data warehouses have been used to analyze historical data. Recently, there has been a growing trend to use data warehouses to support real-time decision-making about an enterprise's day-to-day operations. The needs for improved query and update performance are two challenges that arise from this new application of a data warehouse. To address these needs, new data warehouse funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80882-x